Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
نویسندگان
چکیده
This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras, whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) the amalgamation property or the joint embedding property and we relate the above properties to the existence of ultrahomogeneous models.
منابع مشابه
On residuated lattices with universal quantifiers
We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...
متن کاملSome results on fuzzy semi maximal filters in BL-algebras
In this paper, first, the concept of the fuzzy semi maximal filters in BL-algebras has been introduced, then several properties of fuzzy semi maximal filters have been studied and its relationship with other fuzzy filters including fuzzy (positive)implicative fuzzy filters and fuzzy fantastic filters are investigated. In the following, using the level subsets of fuzzy sets in a BL-algebra...
متن کاملOn (Semi)Topological $BL$-algebras
In last ten years many mathematicians have studied properties of BL-algebras endowed with a topology. For example A. Di Nola and L. Leustean cite{dn} studied compact representations of BL-algebras, L. C. Ciungu cite{ciu} investigated some concepts of convergence in the class of perfect BL-algebras, J. Mi Ko and Y. C. Kim cite{jun} studied relationships between closure operators and BL-algebras,...
متن کاملOn semi maximal filters in BL-algebras
In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...
متن کاملOn the Equivalence of Two Quantifier Elimination Tests
We prove that, for countable languages, two model-theoretic quantifier elimination tests, one proposed by J. R. Shoenfield and the other by L. van den Dries, are equivalent. §
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 52 شماره
صفحات -
تاریخ انتشار 2011